* doc/misc/erc.texi: No need to include gpl in this small manual.
authorGlenn Morris <rgm@gnu.org>
Fri, 21 Dec 2012 18:14:29 +0000 (10:14 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 21 Dec 2012 18:14:29 +0000 (10:14 -0800)
commit4c0d9249412acd21882a4217c025d43bb862feea
tree4ac65cc7e6e270f5d8fb6da37810c685df3c3889
parentd11ceac36fac85d75d4f5e51759e26628d20069e
* doc/misc/erc.texi: No need to include gpl in this small manual.
doc/misc/ChangeLog
doc/misc/erc.texi